$\forall$$x$:Id, $L$:Knd List, $t$:Type.
\\[0ex]$t$ $\Rightarrow$ AtomFree(Type;$t$) $\Rightarrow$ Feasible(only members of $L$ affect $x$ :$t$)